机译:建模为扩展有限自动机的离散事件系统的无阻塞和安全控制
机译:由有限状态自动机建模的离散事件系统的新可预测性验证测试
机译:具有不确定输出函数的Mealy自动机建模的离散事件系统的无阻塞监督控制
机译:扩展有限自动机的无阻塞和安全控制的符号方法
机译:离散事件系统的在线鲁棒无阻塞在线监督控制
机译:基于规则的分子有限自动机生化系统的建模与仿真
机译:建模为扩展有限自动机的离散事件系统的无阻塞和安全控制
机译:部分观测离散事件系统的控制中的共同作用..建模,分析和模拟(mas)